# output 2.000000
putf(1 + 1.0)
